int fact_aux(int *result, int n)
{
  if (n == 0)
    return *result;
  else {
    *result = *result + n;
    return fact_aux(result, *n-1); // TypeMismatch
  }
}

int main()
{
  int result = 0;
  return fact_aux(255); //ArgumentFail
}
